|
KAOS Method Consulting with Respect-ITThe KAOS ((Knowledge Acquisition in autOmated Specification) approach consists of a formal framework based on temporal logic and AI refinement techniques where all terms such as goal and state are consistently and rigorously defined. The main emphasis of KAOS is on the formal proof that the requirements match the goals that were defined for the envisioned system. KAOS is a way to implement "Goal Oriented Requirements Engineering". In that kind of software engineering, the desing is derived from the end user goals for using the software. This allows to make high quality design for which we are sure that they match the end user requirements "by construction". Objectiver represents the very first of a brand new type of requirements engineering tools. Based on a goal-oriented methodology, it aims at building high-grade requirement specifications Links
|
